The fundamental texts of the great classical period in modern logic, some of them never before available in English translation, are here gathered together for the first time. Modern logic, heralded by Leibniz, may be said to have been initiated by Boole, De Morgan, and Jevons, but it was the publication in 1879 of Gottlob Frege's Begriffsschrift that opened a great epoch in...(展开全部)

"A compelling biography of the eccentric genius."- Discover . Kurt Gödel was an intellectual giant. His Incompleteness Theorem turned not only mathematics but also the whole world of science and philosophy on its head. Shattering hopes that logic would, in the end, allow us a complete understanding of the universe, Gödel's theorem also raised many provocative questions: What ...(展开全部)

"A compelling biography of the eccentric genius."- Discover . Kurt Gödel was an intellectual giant. His Incompleteness Theorem turned not only mathematics but also the whole world of science and philosophy on its head. Shattering hopes that logic would, in the end, allow us a complete understanding of the universe, Gödel's theorem also raised many provocative questions: What ...(展开全部)

Hao Wang (1921-1995) was one of the few confidants of the great mathematician and logician Kurt Godel. A Logical Journey is a continuation of Wang's Reflections on Godel and also elaborates on discussions contained in From Mathematics to Philosophy. A decade in preparation, it contains important and unfamiliar insights into Godel's views on a wide range of issues, from Platonis...(展开全部)

Wáng Hào(1921-1995), 学士 西南联大数学系(1943), 硕士 清华哲学系(1945), 博士 师从奎因，哈佛逻辑、哲学(1948). 然后某处博士后. 育有两子一女。

Hao Wang (1921-1995) was one of the few confidants of the great mathematician and logician Kurt Godel. A Logical Journey is a continuation of Wang's Reflections on Godel and also elaborates on discussions contained in From Mathematics to Philosophy. A decade in preparation, it contains important and unfamiliar insights into Godel's views on a wide range of issues, from Platonis...(展开全部)

A comprehensive one-year graduate (or advanced undergraduate) course in mathematical logic and foundations of mathematics. No previous knowledge of logic is required; the book is suitable for self-study. Many exercises (with hints) are included. The book is valuable for anyone interested in mathematical logic and may serve as a reference source for graduate students and special...(展开全部)

This book is a text of mathematical logic on a sophisticated level, presenting the reader with several of the most significant discoveries of the last 10 to 15 years, including the independence of the continuum hypothesis, the Diophantine nature of enumerable sets and the impossibility of finding an algorithmic solution for certain problems. The book contains the first textbook...(展开全部)

A comprehensive one-year graduate (or advanced undergraduate) course in mathematical logic and foundations of mathematics. No previous knowledge of logic is required; the book is suitable for self-study. Many exercises (with hints) are included. The book is valuable for anyone interested in mathematical logic and may serve as a reference source for graduate students and special...(展开全部)